gentzen's consistency proof meaning in Hindi

• गेन्ट्सेन संगति-प्रमाण

consistency: अनुरूपता अविरोध
proof: सबूत अप्रवेश्यता